منابع مشابه
Flow Analysis of Dynamic Logic Programs
Research on flow analysis and optimization of logic programs typically assumes that the programs being analyzed are static, i.e. any code that can be executed at runtime is available for analysis at compile time. This assumption may not hold for ‘‘real’’ programs, which can contain dynamic goals of the form call(X), where X is a variable at compile time, or where predicates may be modified via ...
متن کاملStatic Analysis for Logic-based Dynamic Programs
A dynamic program, as introduced by Patnaik and Immerman (1994), maintains the result of a fixed query for an input database which is subject to tuple insertions and deletions. It can use an auxiliary database whose relations are updated via first-order formulas upon modifications of the input database. This paper studies static analysis problems for dynamic programs and investigates, more spec...
متن کاملDynamic data flow analysis for Java programs
A large portion of high-level computer programs consists of data declaration. Thus, an increased focus on testing the data ̄ow aspects of programs should be considered. In this paper, we consider testing the data ̄ow in Java programs dynamically. Data ̄ow analysis has been applied for testing procedural and some object-oriented programs. We have extended the dynamic data ̄ow analysis technique ...
متن کاملOn the Practicality of Global Flow Analysis of Logic Programs
This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of both speed and precision of analysis. It discusses design and implementation aspects of two practical abstract interpretation-based flow analysis systems: MA, the MOO Andparallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The pa...
متن کاملA Logic for Information Flow Analysis of Pointer Programs
This paper specifies a nontermination-insensitive, interprocedural, information flow analysis for objectoriented programs via a Hoare-like logic. Pointer aliasing is ubiquitous in such programs, and can potentially leak confidential information. Therefore, assertions in the logic not only describe the noninterference property that formalizes confidentiality, but also describe aliasing propertie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1989
ISSN: 0743-1066
DOI: 10.1016/0743-1066(89)90013-7